اثبات یک عبارت مثلثاتی